71![Polarized Resolution Modulo Gilles Dowek ´ Ecole polytechnique and INRIA ´ Polarized Resolution Modulo Gilles Dowek ´ Ecole polytechnique and INRIA ´](https://www.pdfsearch.io/img/bcd0d01f458a16af0bf13aaaffa8098d.jpg) | Add to Reading ListSource URL: who.rocq.inria.frLanguage: English - Date: 2011-01-28 11:35:45
|
---|
72![An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (Ecole An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (Ecole](https://www.pdfsearch.io/img/3a65f093eb09e9981c98490b72fa1b60.jpg) | Add to Reading ListSource URL: www.ensiie.frLanguage: English - Date: 2015-01-06 05:29:08
|
---|
73![Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer](https://www.pdfsearch.io/img/db76d2d11923b93d824f742b466211e5.jpg) | Add to Reading ListSource URL: www.cs.berkeley.eduLanguage: English - Date: 2010-10-29 12:59:44
|
---|
74![Embedding Deduction Modulo into a Prover Guillaume Burel Max Planck Institute for Informatics Saarland University Saarbr¨ ucken, Germany Embedding Deduction Modulo into a Prover Guillaume Burel Max Planck Institute for Informatics Saarland University Saarbr¨ ucken, Germany](https://www.pdfsearch.io/img/e2525faf9557524f84e629260fc04698.jpg) | Add to Reading ListSource URL: www.ensiie.frLanguage: English - Date: 2015-01-06 05:11:07
|
---|
75![Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine](https://www.pdfsearch.io/img/1c1c9b8c4af7ebf85e6c29374a3e24c9.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2005-01-31 14:08:48
|
---|
76![Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA](https://www.pdfsearch.io/img/f50135eb61f75635c25cbeeaaafb50da.jpg) | Add to Reading ListSource URL: who.rocq.inria.frLanguage: English - Date: 2011-01-28 11:35:53
|
---|
77![Deduction modulo theory Gilles Dowek Inria, 23 avenue d’Italie, CS 81321, 75214 Paris Cedex 13, France. 1 Deduction modulo theory Gilles Dowek Inria, 23 avenue d’Italie, CS 81321, 75214 Paris Cedex 13, France. 1](https://www.pdfsearch.io/img/a0f69da26419721803462579640ffb65.jpg) | Add to Reading ListSource URL: who.rocq.inria.frLanguage: English - Date: 2014-07-03 10:24:22
|
---|
78![Judgment Aggregation by Quota Rules: Majority Voting Generalized Franz Dietrich Department of Quantitative Economics University of Maastricht and Judgment Aggregation by Quota Rules: Majority Voting Generalized Franz Dietrich Department of Quantitative Economics University of Maastricht and](https://www.pdfsearch.io/img/d199cbf12b88e7b9ace5222c71e48664.jpg) | Add to Reading ListSource URL: www.franzdietrich.netLanguage: English - Date: 2009-07-30 08:19:30
|
---|
79![January 5, 2009 — Submitted — 15 pages paper + 24 pages appendix Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic Lutz Straßburger ´ January 5, 2009 — Submitted — 15 pages paper + 24 pages appendix Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic Lutz Straßburger ´](https://www.pdfsearch.io/img/beec9baeb96af166581c62d967104661.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2009-03-02 09:38:29
|
---|
80![June 22, 2009 — Final version for the proceedings of CSL’09 Expanding the realm of systematic proof theory Agata Ciabattoni1 , Lutz Straßburger2 , and Kazushige Terui3 1 June 22, 2009 — Final version for the proceedings of CSL’09 Expanding the realm of systematic proof theory Agata Ciabattoni1 , Lutz Straßburger2 , and Kazushige Terui3 1](https://www.pdfsearch.io/img/9b3c29b3b6e852e6c5d406f2392b541d.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2009-06-23 06:51:18
|
---|